You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 241 - 280 hits of 1035. Search took 0.01 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

Search results for coq :

Filename	Distribution	File size
coq-emacs-el-8.4-1.fc18.noarch.rpm	Fedora 18	28 kB	Info
coq-emacs-el-8.4-1.fc18.noarch.rpm	Fedora 18	28 kB	Info
coq-emacs-el-8.3pl3-2.fc17.noarch.rpm	Fedora 17	28 kB	Info
coq-emacs-el-8.3pl2-3.fc16.noarch.rpm	Fedora 16	27 kB	Info
coq-emacs-el-8.3pl2-2.fc16.noarch.rpm	Fedora 16	27 kB	Info
coq-emacs-el-8.3pl2-2.fc15.noarch.rpm	Fedora 15	27 kB	Info
coq-emacs-el-8.3pl2-1.fc15.noarch.rpm	Fedora 15	27 kB	Info
coq-emacs-8.8.2-2.fc30.noarch.rpm	Fedora 30	36 kB	Info
coq-emacs-8.7.1-7.fc29.noarch.rpm	Fedora 29	36 kB	Info
coq-emacs-8.7.1-2.fc28.noarch.rpm	Fedora 28	46 kB	Info
coq-emacs-8.6.1-1.fc27.noarch.rpm	Fedora 27	45 kB	Info
coq-emacs-8.6-2.fc26.noarch.rpm	Fedora 26	45 kB	Info
coq-emacs-8.6-1.x86_64.rpm	PLD	21 kB
coq-emacs-8.6-1.x32.rpm	PLD	21 kB
coq-emacs-8.6-1.i686.rpm	PLD	21 kB
coq-emacs-8.6-1.fc25.noarch.rpm	Fedora 25	44 kB	Info
coq-emacs-8.5pl2-1.fc25.noarch.rpm	Fedora 25	45 kB	Info
coq-emacs-8.5pl2-1.fc24.noarch.rpm	Fedora 24	45 kB	Info
coq-emacs-8.5pl1-1.fc24.noarch.rpm	Fedora 24	45 kB	Info
coq-emacs-8.4pl6-4.fc23.noarch.rpm	Fedora 23	34 kB	Info
coq-emacs-8.4pl6-2.x86_64.rpm	PLD	21 kB
coq-emacs-8.4pl6-2.x32.rpm	PLD	22 kB
coq-emacs-8.4pl6-2.i686.rpm	PLD	22 kB
coq-emacs-8.4pl6-1.x86_64.rpm	PLD	22 kB
coq-emacs-8.4pl6-1.x32.rpm	PLD	22 kB
coq-emacs-8.4pl6-1.i686.rpm	PLD	22 kB
coq-emacs-8.4pl6-1.fc22.noarch.rpm	Fedora 22	33 kB	Info
coq-emacs-8.4pl5-2.fc21.noarch.rpm	Fedora 21	32 kB	Info
coq-emacs-8.4pl5-1.x86_64.rpm	PLD	21 kB
coq-emacs-8.4pl5-1.i686.rpm	PLD	21 kB
coq-emacs-8.4pl5-1.i486.rpm	PLD	21 kB
coq-emacs-8.4pl4-1.fc20.noarch.rpm	Fedora 20	27 kB	Info
coq-emacs-8.4pl2-2.fc20.noarch.rpm	Fedora 20	27 kB	Info
coq-emacs-8.4pl2-1.fc19.noarch.rpm	Fedora 19	27 kB	Info
coq-emacs-8.4pl1-1.fc18.noarch.rpm	Fedora 18	26 kB	Info
coq-emacs-8.4pl1-1.fc18.noarch.rpm	Fedora 18	26 kB	Info
coq-emacs-8.4-1.fc18.noarch.rpm	Fedora 18	26 kB	Info
coq-emacs-8.4-1.fc18.noarch.rpm	Fedora 18	26 kB	Info
coq-emacs-8.3pl3-2.fc17.noarch.rpm	Fedora 17	25 kB	Info
coq-emacs-8.3pl2-3.fc16.noarch.rpm	Fedora 16	25 kB	Info

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17